退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有控制流模式和授权约束的工作流的可满足性分析
Ping Yang; Xing Xie; Indrakshi Ray; Shiyong Lu;
机译:具有控制流模式和授权约束的工作流的满意度分析
机译:基于模式的工作流程满足性问题与用户无关的约束
机译:基于模式的工作流程可满足性问题与用户无关的约束
机译:具有用户独立约束的工作流可满足性问题的模式回溯算法
机译:使用节点身份约束来测试树模式查询的可满足性。
机译:口腔癌术后强度调节放疗后局部区域衰竭的模式:使用可变形图像配准工作流的定量空间和剂量分析
机译:使用约束模式的约束评估树进行约束失效分析
机译:用于动态控制流分析的设备和方法,用于使用从语法生成的输入来规定控制流
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。